Representations of Logic Functions Using QRMDDs
نویسندگان
چکیده
This paper considers quasi-reduced multi-valued decision diagrams with k bits (QRMDD(k)s) to represent twovalued logic functions. It shows relations between the numbers of nodes in QRMDD(k)s and values of k for benchmark functions; an upper bound on the number of nodes in the QRMDD(k); difference between the upper bound and the number of nodes in the QRMDD(k)s for random functions; and the amount of total memory, evaluation time, and areatime complexity for QRMDD(k)s. Experimental results using standard benchmark functions show that the area-time complexity takes its minimum when k is between 3 and 6.
منابع مشابه
Pragmatic Representations in Iranian High School English Textbooks
Owing to the growing interest in communicative, cultural and pragmatic aspects of second language learning in recent years, the present study tried to investigate representations of pragmatic aspects of English as a foreign language in Iranian high school textbooks. Using Halliday’s (1978), and Searle’s (1976) models, different language functions and speech acts were specifically determined and...
متن کاملThe Representations and Positive Type Functions of Some Homogenous Spaces
‎For a homogeneous spaces ‎$‎G/H‎$‎, we show that the convolution on $L^1(G/H)$ is the same as convolution on $L^1(K)$, where $G$ is semidirect product of a closed subgroup $H$ and a normal subgroup $K $ of ‎$‎G‎$‎. ‎Also we prove that there exists a one to one correspondence between nondegenerat $ast$-representations of $L^1(G/H)$ and representations of ...
متن کاملRestoring Motor Functions in Paralyzed Limbs through Intraspinal Multielectrode Microstimulation Using Fuzzy Logic Control and Lag Compensator
In this paper, a control strategy is proposed for control of ankle movement on animals using intraspinal microstimulation (ISMS). The proposed method is based on fuzzy logic control. Fuzzy logic control is a methodology of intelligent control that mimics human decision-making process. This type of control method can be very useful for the complex uncertain systems that their mathematical model ...
متن کاملOn the Integral Representations of Generalized Relative Type and Generalized Relative Weak Type of Entire Functions
In this paper we wish to establish the integral representations of generalized relative type and generalized relative weak type as introduced by Datta et al [9]. We also investigate their equivalence relation under some certain conditions.
متن کاملA Combined Fuzzy Logic and Analytical Hierarchy Process Method for Optimal Selection and Locating of Pedestrian Crosswalks
One of the main challenges for transportation engineers is the consideration of pedestrian safety as the most vulnerable aspect of the transport system. In many countries around the world, a large number of accidents recorded by the police are composed of accidents involving pedestrians and vehicles, for example when pedestrians may be struck by passing vehicles when crossing the street. Carefu...
متن کامل